Introducing and Reasoning about Uncertainty in MIndiGolog
نویسنده
چکیده
In MIndiGolog, agents work concurrently to perform a sequence of actions in order to accomplish some task. The domain in which agents operate is static and deterministic, meaning each discrete action produces a predetermined result. The real world equivalent of some of these actions may have a number of possible results, and it may be impossible to distinguish which outcome will occur prior to these actions. In this essay we will investigate the effect that introducing uncertainty will have on MIndigolog, and of the ability for agents to reason and to act in a domain with uncertainty.
منابع مشابه
View-centric reasoning for Linda and Tuple Space computation
In contrast to sequential computation, concurrent computation gives rise to parallel events. Efforts to translate the history of concurrent computations into sequential event traces result in the potential uncertainty of the observed order of these events. Loosely coupled distributed systems complicate this uncertainty even further by introducing the element of multiple imperfect observers of t...
متن کاملFrom knowledge-based programs to graded belief-based programs, part II: off-line reasoning
Belief-based programs generalize knowledgebased programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable observations, and branching conditions that refer to implicit graded beliefs, such as in “while my belief about the direction to the railway station is not strong enough do ask someone”. We show how to reason off-line about the possible executions of a belief-based program...
متن کاملThe Effect of Bayesian Reasoning Training on the Results of Clinical Reasoning Tests of Interns
Introduction: Clinical reasoning includes a range of thinking about clinical medicine at all stages of patient evaluation. Bayesian theory can be used to refute or confirm differential diagnoses in the clinical reasoning process. In this way, by learning the basic mathematical language of probability in medicine, we can change our beliefs according to new evidence. The aim of this study is to i...
متن کاملLoad-Frequency Control: a GA based Bayesian Networks Multi-agent System
Bayesian Networks (BN) provides a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world tasks but they have received little attention in the area of load-frequency control (LFC). In practice, LFC systems use proportional-integral controllers. However since these controllers are designed using a linear model, the nonlinearities...
متن کاملReasoning about Uncertainty in Metric Spaces
We set up a model for reasoning about metric spaces with belief theoretic measures. The uncertainty in these spaces stems from both probability and metric structures. To represent both aspect of uncertainty, we choose an expected distance function as a measure of uncertainty. A formal logical system is constructed for the reasoning about expected distance. Soundness and completeness are shown f...
متن کامل